First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
91	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-06-15 11:37:40 Model theory Automated theorem proving Resolution First-order logic IP Interpretation
92	Summation Relations and Portions of Stuff Maureen Donnelly and Thomas Bittner (NOTE: This paper is currently being processed for publication in Philosophical Studies.) 1. Portions of stuff We have in front of us a full g Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:55 Predicate logic Ontology Mathematical logic Mereology First-order logic Properties of water Temporal parts
93	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation
94	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure
95	DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir, Ewen Denney† and Bernd Fischer * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof Theorem Natural deduction Automated reasoning Formal methods Formal proof Automated theorem proving Argument KeY Sequent First-order logic
96	Properties of Intuitionistic Provability LogicsRosalie Iemhoff Dick de Jongh Chunlai Zhou Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:46:31 Modal logic Model theory Non-classical logic Philosophical logic Proof theory Normal modal logic First-order logic Propositional calculus Provability logic Mathematical logic Interpretation Modal companion
97	DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Automated theorem proving Reasoning Semantic Web Artificial intelligence School of Computer Science University of Manchester Knowledge representation and reasoning Description logic Vampire Semantic reasoner Automated reasoning Web Ontology Language Resolution
98	To appear in: Jäger, Christoph; Winfried Löffler (edsEpistemology: Contexts, Values, Disagreement. Proceedings of the 34th International Wittgenstein Symposium. Frankfurt a.M.: Ontos. Rival Logics, Disagreemen Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:22 Philosophical logic Modal logic Logic Paraconsistent logic Philosophy of logic Material conditional Meaning First-order logic Intuitionistic logic Truth Sequent Axiom
99	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE
100	Model Finding for Recursive Functions in SMT Andrew Reynolds1 , Jasmin Christian Blanchette2,3 , Simon Cruanes2 , and Cesare Tinelli1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-28 12:04:25 Model theory Interpretation First-order logic Symbol Structure operator Principia Mathematica

UPDATE